Nonlinear programming with cumulatively bounded variables

Positive Sensitivity Analysis In Linear Programming With Bounded Variables

The present paper discusses positive sensitivity analysis (PSA) in linear programming with bounded variables. Positive sensitivity analysis is a sensitivity analysis method for linear programming that finds the range of perturbations within which the components of a given optimal solution which are strictly between their bounds remain strictly between bounds and which are at their lower and upp...

Geometric Programming Problem with Trapezoidal Fuzzy Variables

Nowadays Geometric Programming (GP) problem is a very popular problem in many fields. Each type of Fuzzy Geometric Programming (FGP) problem has its own solution. Sometimes we need to use the ranking function to change some part of GP to the linear one. In this paper, first, we propose a method to solve multi-objective geometric programming problem with trapezoidal fuzzy variables; then we use ...

Hydrogen Distribution in Refinery with Nonlinear Programming

Definability with Bounded Number of Bound Variables

A theory satis es the k variable property if every rst order formula is equivalent to a formula with at most k bound variables possibly reused Gabbay has shown that a model of temporal logic satis es the k variable property for some k if and only if there exists a nite basis for the temporal connectives over that model We give a model theoretic method for establishing the k variable property in...

Deenability with Bounded Number of Bound Variables

A theory satisses the k-variable property if every rst-order formula is equivalent to a formula with at most k bound variables (possibly reused). Gabbay has shown that a model of temporal logic satisses the k-variable property for some k if and only if there exists a nite basis for the temporal connectives over that model. We give a model-theoretic method for establishing the k-variable propert...